The Routledge Companion to Metaphysics is an outstanding, comprehensive and accessible guide to the major themes, thinkers, and issues in metaphysics. The Companion features over fifty specially commissioned chapters from international scholars which are organized into three clear parts: History of Metaphysics Ontology Metaphysics and Science. Each section features an introduction which places the range of essays in context, while an extensive glossary allows easy reference to key terms and definitions. The Routledge Companion to Metaphysics is essential reading for students (...) of philosophy and anyone interested in surveying the central topics and problems in metaphysics from causation to vagueness and from Plato and Aristotle to the present-day. (shrink)

This book taps the best American thinkers to answer the essential American question: How do we sustain our experiment in government of, by, and for the people? Authored by an extraordinary and politically diverse roster of public officials, scholars, and educators, these chapters describe our nation's civic education problem, assess its causes, offer an agenda for reform, and explain the high stakes at risk if we fail.

Introduction / Jeffrey R. Di Leo, Peter Hitchcock, and Sophia A. McClennen -- Theory and history -- The rights to debt? / Sophia A. McClennen -- Kant at the Federal Reserve : on the aesthetics of quantitative easing / Peter Hitchcock -- Materialism : debt and sensuality / Christopher Breu -- The indebted man's cognitive mapping : boundaries and biohorror in the neoliberal debt economy / Liane Tanguay -- Living in the debt age -- The debt experience / (...) Jeffrey J. Williams -- Paying your debt to society : the neoliberal state and the logic of quid pro quo / Esther Peeren -- Indebted youth and neoliberalism / Tyler J. Pollard -- Austerity politics and the neoliberal target austerity politics and the neoliberal targeting of the body in public education / Kenneth J. Saltman -- Resisting the debt age -- On debt resistance / Jeffrey R. Di Leo -- Debt and financial literacy education : an ethics for capital or the other / Chris Arthur -- Student debt and the social functions of consolidation college / Christopher Newfield -- Confronting the creditor class / Andrew Ross -- Index. (shrink)

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs (...) of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. (shrink)

Church’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. It also plays an important role in the study of the formal semantics of natural language. When utilizing (...) it as a meta-logic to semantically embed expressive non-classical logics further topical applications are enabled in artificial intelligence and philosophy. A great wealth of technical knowledge can be expressed very naturally in it. With possible enhancements, Church’s type theory constitutes an excellent formal language for representing the knowledge in automated information systems, sophisticated automated reasoning systems, systems for verifying the correctness of mathematical proofs, and a range of projects involving logic and artificial intelligence. Some examples and further references are given in Sections 1.2.2 and 5 below. Type theories are also called higher-order logics, since they allow quantification not only over individual variables, but also over function, predicate, and even higher order variables. Type theories characteristically assign types to entities, distinguishing, for example, between numbers, sets of numbers, functions from numbers to sets of numbers, and sets of such functions. As illustrated in Section 1.2.2 below, these distinctions allow one to discuss the conceptually rich world of sets and functions without encountering the paradoxes of naive set theory. Church’s type theory is a formulation of type theory that was introduced by Alonzo Church in Church 1940. In certain respects, it is simpler and more general than the type theory introduced by Bertrand Russell in Russell 1908 and Whitehead & Russell 1927a. Since properties and relations can be regarded as functions from entities to truth values, the concept of a function is taken as primitive in Church’s type theory, and the λ-notation which Church introduced in Church 1932 and Church 1941 is incorporated into the formal language. Moreover, quantifiers and description operators are introduced in a way so that additional binding mechanisms can be avoided, λ-notation is reused instead. λ-notation is thus the only binding mechanism employed in Church’s type theory. (shrink)

This is a collective writing project that is part of the larger design of Infantologies, Infanticides and Infantilizations; a quartet that explores the philosophy of infants from thematic perspectives, that puts infants at the centre of our reflections, and that encourages a different academic style of thinking.

Michael Peters, Sonja Arndt & Marek TesarThis is a collective writing experiment of PESA members, including its Executive Committee, asking questions of the Philosophy of Education in a New Key. Co...

The idea that religious belief is ‘almost inevitable’ is so forcefully argued by Justin Barrett that it can warrant justifiable concern – especially since he claims atheism is an unnatural handicap. In this article, I argue that religious belief in Homo sapiens isn’t inevitable – and that Barrett does agree when pushed. I describe the role played by a Hyperactive Agency Detection Device in the generation of belief in God as necessary but insufficient in explaining religious culture – I distance (...) myself from some common conceptions of HADD and the view I take of it is unorthodox. I point out that the conclusion to Barrett’s book, ‘Why Would Anyone Believe in God?’ is a fine example of the very hyperactive agency detection Barrett himself describes, and is therefore highly suspect. (shrink)

Infantologies is a collective writing project designed to express and summarise important ideas, approaches and forms of advocacy in a short and condensed method, in order to present a network of d...

An evaluation of the current electoral system in response to calls for its reform.

At a time when scientific knowledge is systematically whisked out of the domain of education and converted into private capital, the essays in this volume are ...

Martine Nida-Rümelin (1996) argues that color science indicates behaviorally undetectable spectrum inversion is possible and raises this possibility as an objection to functionalist accounts of visual states of color. I show that her argument does not rest solely on color science, but also on a philosophically controversial assumption, namely, that visual states of color supervene on physiological states. However, this assumption, on the part of philosophers or vision scientists, has the effect of simply ruling out certain versions of functionalism. While (...) Nida-Rümelin is quite right to search for empirical tests for claims about the nature of visual states, philosophical issues remain pivotal in determining the correctness of these claims. (shrink)

Recovering Reason: Essays in Honor of Thomas L. Pangle is a collection of essays composed by students and friends of Thomas L. Pangle to honor his seminal work and outstanding guidance in the study of political philosophy. These essays examine both Socrates' and modern political philosophers' attempts to answer the question of the right life for human beings, as those attempts are introduced and elaborated in the work of thinkers from Homer and Thucydides to Nietzsche and Charles Taylor.

As a result of increased interest in global health, more and more medical students and trainees from the.

The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable reproducibility. We report the development of Robot Scientist "Adam," which advances the automation of both. Adam has autonomously generated functional genomics hypotheses about the yeast Saccharomyces cerevisiae and experimentally tested these hypotheses by using laboratory automation. We have confirmed Adam's conclusions through manual experiments. To describe Adam's research, we have developed an ontology and logical language. The resulting formalization involves over 10,000 different (...) research units in a nested treelike structure, 10 levels deep, that relates the 6.6 million biomass measurements to their logical description. This formalization describes how a machine contributed to scientific knowledge. (shrink)

This article is concerned with developing a philosophical approach to a number of significant changes to academic publishing, and specifically the global journal knowledge system wrought by a range of new digital technologies that herald the third age of the journal as an electronic, interactive and mixed-media form of scientific communication. The paper emerges from an Editors' Collective, a small New Zealand-based organisation comprised of editors and reviewers of academic journals mostly in the fields of education and philosophy. The paper (...) is the result of a collective writing process. (shrink)

Some scholars have raised the potential functional role of fictive kinship for religion, generally. This paper seeks to develop that idea. It is argued in this paper that fictive kinship language in religion (and some other non-religious contexts) recruits traits connected to Hamilton’s rule as it is expressed inHomo sapienspsychology. The effect is that cooperation is augmented within a population that generally shares the same religious worldview. The general position is that if religions are in the business of cooperation and (...) this partially accounts for their evolution and preservation, then it follows that we should take particular note of any significant feature of religions that might lend itself to the cooperation account of religion’s apparent evolutionary success. Fictive kinship is one such feature. (shrink)

The animalist says we are animals. This thesis is commonly understood as the universal generalization that all human persons are human animals. This article proposes an alternative: the thesis is a generic that admits of exceptions. We defend the resulting view, which we call ‘generic animalism’, and show its aptitude for diagnosing the limits of eight case-based objections to animalism.

An assessment of Dennett's philosophy by various philosophers. Includes Dennett's responses.

This paper reports a literature review on the topic of ethical issues in in-depth interviews. The review returned three types of article: general discussion, issues in particular studies, and studies of interview-based research ethics. Whilst many of the issues discussed in these articles are generic to research ethics, such as confidentiality, they often had particular manifestations in this type of research. For example, privacy was a significant problem as interviews sometimes probe unexpected areas. For similar reasons, it is difficult to (...) give full information of the nature of a particular interview at the outset, hence informed consent is problematic. Where a pair is interviewed (such as carer and cared-for) there are major difficulties in maintaining confidentiality and protecting privacy. The potential for interviews to harm participants emotionally is noted in some papers, although this is often set against potential therapeutic benefit. As well as these generic issues, there are some ethical issues fairly specific to in-depth interviews. The problem of dual role is noted in many papers. It can take many forms: an interviewer might be nurse and researcher, scientist and counsellor, or reporter and evangelist. There are other specific issues such as taking sides in an interview, and protecting vulnerable groups. Little specific study of the ethics of in-depth interviews has taken place. However, that which has shows some important findings. For example, one study shows participants are not averse to discussing painful issues provided they feel the study is worthwhile. Some papers make recommendations for researchers. One such is that they should consider using a model of continuous (or process) consent rather than viewing consent as occurring once, at signature, prior to the interview. However, there is a need for further study of this area, both philosophical and empirical. (shrink)